'xxx'1 =a1 'yyy'1 $=$ false$_{2}$ $\in$ $\mathbb{B}$